
<P>

<HR>

<div style="text-align: right;">

<a HREF="http://www.cs.cmu.edu/~mad">Mark Derthick</a>

(<script type="text/javascript">
<!--
document.write('<a href=\"mailt' + 'o:ma' + 'd@c' + 's.cmu.e' + 'du\">');
document.write('ma' + 'd@c' + 's.cmu.e' + 'du' + '<\/a>');
//-->
</script>)
<BR>
